console.log (JSON.parse ('"\u2028"'));
console.log (JSON.stringify ("\uD800"));
